|
Pamela Zave (born 1948,〔(Birthdate from OCLC ), retrieved 2015-06-18.〕) is an American computer scientist who works at AT&T Labs, where she is known for her work in requirements engineering and her use of formal methods in telecommunications.〔(Professional biography ), Pamela Zave, AT&T, retrieved 2015-06-18.〕 ==Education and career== Zave graduated from Cornell University with a bachelor's degree in English, in 1970. Already at that time she showed an interest in computer science, taking a summer computer programming job with J. C. Penney in 1969.〔 She earned her doctorate in computer science from the University of Wisconsin–Madison in 1976, under the name Pamela Zave Smith; her thesis, "Functional Equivalence of Parallel Processes", was supervised by Donald R. Fitzwater. She taught at the University of Maryland, College Park from 1976 to 1981, and then joined Bell Labs. She remained in the AT&T part of the labs through the two corporate splits that formed Bellcore in 1984 and Lucent in 1996, and ended up working at AT&T Labs, where she is currently a technology advisor in the Network Services Research Laboratory.〔(Curriculum vitae ), Pamela Zave, AT&T, retrieved 2015-06-18.〕 She was elected as the secretary-treasurer of SIGSOFT for 1983–1985 and as vice-chair for 1985–1987.〔.〕 She was program chair of the Second IEEE International Symposium on Requirements Engineering in 1996,〔.〕 and co-chair of the Tenth International Formal Methods Europe Symposium in 2001.〔(Proceedings of FME 2001 ), LNCS 2021, Springer, 2001.〕 In 2009 she gave a keynote address at the International Conference on Software Engineering〔 and in 2011 she gave a keynote address at the 9th Working IEEE/IFIP Conference on Software Architecture.〔(WICSA 2011 Keynotes ), retrieved 2015-06-18.〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Pamela Zave」の詳細全文を読む スポンサード リンク
|